SceneGit: a practical system for diffing and merging 3D environments